Functional predicate - PDFSEARCH.IO - Document Search Engine

Functional predicate
Results: 59

#	Item
21	Layers and Operators Revisited Matthew Anstey 1. Introduction1 Perhaps Functional Grammar’s most distinctive feature is its extensive use of the so-called layered structure of the clause (LSC). The LSC is used as both Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2002-05-22 05:12:56 Grammar Predicate Quantification Proposition Theta role Linguistic modality Functional discourse grammar Negation Well-formed formula Logic Linguistics Semantics
22	XML Schema Mappings Shun’ichi Amano Leonid Libkin Filip Murlak Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-09-09 12:02:44 Data management Markup languages Database management systems Technical communication XML Schema matching Functional predicate Database schema Data integration Computing Data Information
23	PDF Document Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:56 Functional programming Data types Type theory Functional languages Lisp programming language Type class Predicate Function Fixed-point combinator Software engineering Computer programming Computing
24	XML Schema Mappings: Data Exchange and Metadata Management Shun’ichi Amano and Claire David and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-12-13 05:00:00 Information Database schema XML Schema XML Functional predicate Data exchange Database management system Data integration Computing Data management Data
25	Nigel: textual semantics documentation prepared by (and thus bug/ommision reports to!): John Bateman () (largely drawn from Bateman and Matthiessen, 1990]) Add to Reading List Source URL: www.fb10.uni-bremen.de Language: English - Date: 2004-12-11 07:46:46 Semantics Systemic functional grammar Metafunction Nominal group Control Subject Predicate Markedness Complement Linguistics Systemic functional linguistics Grammar
26	ENCODING MONOMORPHIC AND POLYMORPHIC TYPES JASMIN CHRISTIAN BLANCHETTE, SASCHA BÖHME, ANDREI POPESCU, AND NICHOLAS SMALLBONE Inria & LORIA, Nancy, France; Max-Planck-Institut für Informatik, Saarbrücken, Germany e-mai Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-25 16:36:05 Metalogic Symbol Structure Interpretation First-order logic Functional predicate Model theory Logic Mathematical logic
27	On Correctness of Imperative Programs — Precondition Calculation (DRAFT) R.D. Arthan 10 December 2006 Add to Reading List Source URL: lemma-one.com Language: English - Date: 2006-12-10 08:21:16 Functional predicate Model theory Predicate Programming language Necessity and sufficiency Logic Mathematical logic Mathematics
28	Radically Incomplete Reasoning about Containers: A First-Order Theory Ernest Davis September 28, 2013 This paper is a supplement to the paper, “Reasoning about Containers and Manipulation using Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-09-28 11:14:55 Model theory Predicate logic Metalogic S Set theory Z notation Functional predicate First-order logic Function Mathematical logic Mathematics Logic
29	Bidirectional parsing a functional/logic perspective Peter Kourzanov NXP Eindhoven/TU Delft, Netherlands [removed] Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Formal languages Parsing Computability theory Recursion Compiler construction Parsing expression grammar Left recursion Syntactic predicate Attribute grammar Software engineering Computing Computer programming
30	A Type System for Expressive Security Policies∗ David Walker Cornell University abstraction preservation (programs use abstract data types only as their interfaces allow). These properties Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-16 16:28:29 Mathematics Logic First-order logic Interpretation Symbol Functional predicate Type safety Function Nondeterministic finite automaton Mathematical logic Automata theory Model theory